#include <stdio.h>
#include <string.h>

int main(int argc, char* argv[]) {
    double a = 1.2;
    int b = 3;
    printf("%d\n", a | b);
    return 0;
}
